// Copyright (C) 2020 THL A29 Limited, a Tencent company.
// All rights reserved.
// Licensed under the BSD 3-Clause License (the "License"); you may
// not use this file except in compliance with the License. You may
// obtain a copy of the License at
// https://opensource.org/licenses/BSD-3-Clause
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" basis,
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
// implied. See the License for the specific language governing
// permissions and limitations under the License.
// See the AUTHORS file for names of contributors.

#include <fp16.h>

#include <cstdint>

#include "catch2/catch.hpp"
#include "turbo_transformers/core/half.h"
TEST_CASE("Half", "[Half]") {
  float input = 12.0f;
  turbo_transformers::core::Half half(input);
  CATCH_ENFORCE(input == static_cast<float>(half), "failed");
}
